1. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
